退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:1模型检查对互操作性安全策略的验证
Mazen El Maarabani; Ana Cavalli; Iksoon Hwang; Fatiha Zaïdi;
机译:参数化模型检查以进行安全策略分析
机译:与位置和移动性相关的安全策略规范的时空模型检查
机译:基于模型检查的移动系统安全策略验证方法
机译:通过模型检查验证互操作性安全策略
机译:通过在实践和教育中的行为博弈论和模型检验来提高网络物理系统的网络安全性。
机译:逻辑分析安全策略建模的本体论基础
机译:网络安全策略管理工具中的编辑策略冲突检查机制
机译:基于策略的网络安全系统中的安全策略信息模型
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。